1
Semantics of Programming Languages and Model Theory

Semantics of Programming Languages and Model Theory

Manfred Droste, Yuri Gurevich
عام:
1993
اللغة:
english
ملف:
PDF, 12.13 MB
0 / 0
english, 1993
3
Semantics of Programming Languages and Model Theory

Semantics of Programming Languages and Model Theory

Manfred Droste, Yuri Gurevich
عام:
1993
اللغة:
english
ملف:
DJVU, 5.26 MB
0 / 0
english, 1993
7
The Classical Decision Problem

The Classical Decision Problem

Egon Börger, Erich Gradel, Yuri Gurevich
عام:
1997
اللغة:
english
ملف:
DJVU, 5.98 MB
0 / 0
english, 1997
8
Abstract State Machines 2004 Advances in Theory and Practice

Abstract State Machines 2004 Advances in Theory and Practice

Yuri Gurevich (auth.), Wolf Zimmermann, Bernhard Thalheim (eds.)
عام:
2004
اللغة:
english
ملف:
PDF, 6.92 MB
0 / 0
english, 2004
9
The classical decision problem

The classical decision problem

Grädel, Erich, Gurevich, Yuri, Börger, Egon
عام:
1997
اللغة:
english
ملف:
DJVU, 4.69 MB
0 / 0
english, 1997
10
Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Egon Börger, Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
عام:
2000
اللغة:
english
ملف:
PDF, 3.75 MB
0 / 0
english, 2000
12
Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.)
عام:
2000
اللغة:
english
ملف:
PDF, 3.80 MB
0 / 0
english, 2000